Colored Petri Net Tool Suitable for Solving Logistics Control Problems
نویسندگان
چکیده
منابع مشابه
A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems
Complex and customized manufacturing requires a high level of collaboration between production and logistics in a flexible production system. With the widespread use of Internet of Things technology in manufacturing, a great amount of real-time and multi-source manufacturing data and logistics data is created, that can be used to perform production-logistics collaboration. To solve the aforemen...
متن کاملGrade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise is adhered to, and supports tasks that are ...
متن کاملA Colored Petri Net Based Approach for Multi-agent Interactions
In a multi-agent system (MAS), agent interactions are established through exchanging messages following interaction protocols. Most current agent interaction protocols are hard-coded within agents during the agent designing, and this feature greatly reduces the flexibility of the agent interactions. In this paper, we present a Colored Petri Nets (CPNs) based approach to form flexible interactio...
متن کاملA Colored Petri Net for a Multi-Agent Application
In this paper we present a Colored Petri Net (CPN) for a multi-agent application. In particular we modeled the Packet-World. In our research we use the packet-world as a case to study the fundamentals of agents' social behavior. Our approach is to combine experiments with conceptual modeling. We start from a very basic model and then add social skills in a modular way. Integrating new social sk...
متن کاملColored Petri Net inversion for Backward Reachability Analysis
Colored Petri Nets (CPN) are a powerful, recognized and intuitive modelling tool. They allow a precise representation of distributed, embedded and/or real time systems. These models can be then used among others for the dependability assessment. This paper develops a new method of CPN analysis called the Backward reachability. It provides information about different ways of reaching a particula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 2017
ISSN: 0453-4654,1883-8189
DOI: 10.9746/sicetr.53.437